A Rust Shaped Hole
mnvr.in·14h·
Discuss: Hacker News
🦀Rust
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·10h·
Discuss: Hacker News, r/programming
🧠Memory Allocators
Principles for Picking Practical Interpretability Projects
lesswrong.com·8h
🔍AI Interpretability
oapi-codegen v2.5.0 is out
github.com·8h·
Discuss: r/golang
🔧Developer tools
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·9h·
Discuss: Lobsters, Hacker News
🏗️Build Systems
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·11h
🕳LLM Vulnerabilities
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·9h
🔧Developer tools
Analysis of RISC-V CPU Fuzzers via Automatic Bug Injection (ETH Zurich)
semiengineering.com·18h
⚙️Mechanical Sympathy
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·21h
🏆LLM Benchmarking
The Pragmatic Programmer in 2025
moerner.com·44m
👨‍💻Software development practices
How to enable real time semantic search and RAG applications with Dataflow ML
cloud.google.com·9h
🎯Qdrant
TAI #161: Grok 4’s Benchmark Dominance vs. METR’s Sobering Reality Check on AI for Code
pub.towardsai.net·9h
🆕New AI
ML pipelines with DDD Frameworks mixed with functional and command patterns
lennardong.bearblog.dev·44m
👨‍💻Software development practices
Helix Editor Release 25.07 Highlights
helix-editor.com·6h·
Discuss: Lobsters, Hacker News, r/linux
✏️Code Editors
Connecting legibility to theory building in programming
ashwinsundar.com·9h·
Discuss: Hacker News
💻Programming languages
[$] Enforcement (or not) for module-specific exported symbols
lwn.net·11h
👨‍💻Software development practices
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·17h·
Discuss: Hacker News
📘Typescript
Imperative vs declarative
github.com·2h·
Discuss: r/programming
👨‍💻Software development practices
Building Robust Filesystem Interactions in Rust
tangramvision.com·5h·
Discuss: Hacker News
🦀Rust
An AI Skeptic Uses AI for a Week
keithjgrant.com·6h
🪄Prompt Engineering